This folder contains some
NP specifications for trying out
Nitpick. They are not well
commented or properly 
explained. We plan to distribute
a proper tutorial guide to 
Nitpick soon.

Daniel Jackson
nitpick@cs.cmu.edu
January 1996